Observable Modules and Power Domain Constructions
نویسنده
چکیده
An R-module M is observable ii all its elements can be distinguished by observing them by means of linear morphisms from M to R. We show that free observable R-modules can be explicitly described as the cores of the nal power domains with characteristic semiring R. Then, the general theory is applied to the cases of the lower and the upper semiring. All lower modules are observable, whereas there are non-observable upper modules. Accordingly, all known lower power constructions coincide, whereas there are at least three diierent upper power constructions. We show that they coincide for continuous ground domains, but diier on more general domains.
منابع مشابه
Power domain constructions
The variety of power domain constructions proposed in the literature is put into a general algebraic framework. Power constructions are considered algebras on a higher level: for every ground domain, there is a power domain whose algebraic structure is speciied by means of axioms concerning the algebraic properties of the basic operations empty set, union, singleton, and extension of functions....
متن کاملOn special submodule of modules
Let $R$ be a domain with quotiont field $K$, and let $N$ be a submodule of an $R$-module $M$. We say that $N$ is powerful (strongly primary) if $x,yin K$ and $xyMsubseteq N$, then $xin R$ or $yin R$ ($xMsubseteq N$ or $y^nMsubseteq N$ for some $ngeq1$). We show that a submodule with either of these properties is comparable to every prime submodule of $M$, also we show tha...
متن کاملAN INTEGRAL DEPENDENCE IN MODULES OVER COMMUTATIVE RINGS
In this paper, we give a generalization of the integral dependence from rings to modules. We study the stability of the integral closure with respect to various module theoretic constructions. Moreover, we introduce the notion of integral extension of a module and prove the Lying over, Going up and Going down theorems for modules.
متن کاملQuasi-Primary Decomposition in Modules Over Proufer Domains
In this paper we investigate decompositions of submodules in modules over a Proufer domain into intersections of quasi-primary and classical quasi-primary submodules. In particular, existence and uniqueness of quasi-primary decompositions in modules over a Proufer domain of finite character are proved. Proufer domain; primary submodule; quasi-primary submodule; classical quasi-primary; decompo...
متن کاملThe Attitude of Variation of Elastic Modules in Single Wall Carbon Nanotubes: Nonlinear Mass-Spring Model
The examination of variation of elastic modules in single wall carbon nanotubes (SWCNTs) is the aim of this paper. Full nonlinear spring-like elements are employed to simulate specific atomic structures in the commercial code ABAQUS. Carbon atoms are attached to each node as a mass point using atomic mass of carbon atoms. The influence of dimensions such as variation of length, diameter, aspect...
متن کامل